>f(A,B,C,D) = NOT A AND NOT B AND (NOT C OR D) OR A AND C | NOT A AND B AND NOT D
[2017-04-2905:33:30] FINER: Stupac tablice:
[2017-04-2905:33:30] FINER: =================================
[2017-04-2905:33:30] FINER: 0000 . * [0]
[2017-04-2905:33:30] FINER: -------------------------------
[2017-04-2905:33:30] FINER: 0001 . * [1]
[2017-04-2905:33:30] FINER: 0100 D * [4]
[2017-04-2905:33:30] FINER: -------------------------------
[2017-04-2905:33:30] FINER: 0011 . * [3]
[2017-04-2905:33:30] FINER: 1010 . * [10]
[2017-04-2905:33:30] FINER: 0110 D * [6]
[2017-04-2905:33:30] FINER: -------------------------------
[2017-04-2905:33:30] FINER: 1011 . * [11]
[2017-04-2905:33:30] FINER: 1110 . * [14]
[2017-04-2905:33:30] FINER: -------------------------------
[2017-04-2905:33:30] FINER: 1111 . * [15]
[2017-04-2905:33:30] FINER:
[2017-04-2905:33:30] FINEST:
[2017-04-2905:33:30] FINER: Stupac tablice:
[2017-04-2905:33:30] FINER: =================================
[2017-04-2905:33:30] FINER: 000- .   [0, 1]
[2017-04-2905:33:30] FINER: 0-00 .   [0, 4]
[2017-04-2905:33:30] FINER: -------------------------------
[2017-04-2905:33:30] FINER: 00-1 .   [1, 3]
[2017-04-2905:33:30] FINER: 01-0 D   [4, 6]
[2017-04-2905:33:30] FINER: -------------------------------
[2017-04-2905:33:30] FINER: -011 .   [3, 11]
[2017-04-2905:33:30] FINER: 101- . * [10, 11]
[2017-04-2905:33:30] FINER: 1-10 . * [10, 14]
[2017-04-2905:33:30] FINER: -110 .   [6, 14]
[2017-04-2905:33:30] FINER: -------------------------------
[2017-04-2905:33:30] FINER: 1-11 . * [11, 15]
[2017-04-2905:33:30] FINER: 111- . * [14, 15]
[2017-04-2905:33:30] FINER:
[2017-04-2905:33:30] FINEST: Pronašao primarni implikant: 000- .   [0, 1]
[2017-04-2905:33:30] FINEST: Pronašao primarni implikant: 0-00 .   [0, 4]
[2017-04-2905:33:30] FINEST: Pronašao primarni implikant: 00-1 .   [1, 3]
[2017-04-2905:33:30] FINEST: Pronašao primarni implikant: -011 .   [3, 11]
[2017-04-2905:33:30] FINEST: Pronašao primarni implikant: -110 .   [6, 14]
[2017-04-2905:33:30] FINEST:
[2017-04-2905:33:30] FINER: Stupac tablice:
[2017-04-2905:33:30] FINER: =================================
[2017-04-2905:33:30] FINER: 1-1- .   [10, 11, 14, 15]
[2017-04-2905:33:30] FINER:
[2017-04-2905:33:30] FINEST: Pronašao primarni implikant: 1-1- .   [10, 11, 14, 15]
[2017-04-2905:33:30] FINEST:
[2017-04-2905:33:30] FINE: Svi primarni implikanti:
[2017-04-2905:33:30] FINE: 000- .   [0, 1]
[2017-04-2905:33:30] FINE: 0-00 .   [0, 4]
[2017-04-2905:33:30] FINE: 00-1 .   [1, 3]
[2017-04-2905:33:30] FINE: -011 .   [3, 11]
[2017-04-2905:33:30] FINE: -110 .   [6, 14]
[2017-04-2905:33:30] FINE: 1-1- .   [10, 11, 14, 15]
[2017-04-2905:33:30] FINE:
[2017-04-2905:33:30] FINE: Bitni primarni implikanti:
[2017-04-2905:33:30] FINE: 1-1- .   [10, 11, 14, 15]
[2017-04-2905:33:30] FINER:
[2017-04-2905:33:30] FINER: p funkcija je:
[2017-04-2905:33:30] FINER: [[{0}, {1}], [{0}, {2}], [{2}, {3}]]
[2017-04-2905:33:30] FINER:
[2017-04-2905:33:30] FINER: Nakon pretvorbe u sumu produkata:
[2017-04-2905:33:30] FINER: [[{0, 2}, {0, 3}, {0, 2, 3}, {0, 1, 2}, {0, 1, 3}, {1, 2}, {1, 2, 3}]]
[2017-04-2905:33:30] FINER:
[2017-04-2905:33:30] FINER: Minimalna pokrivanja još trebaju:
[2017-04-2905:33:30] FINER: [{0, 2}, {0, 3}, {1, 2}]
[2017-04-2905:33:30] FINE:
[2017-04-2905:33:30] FINE: Minimalni oblici funkcije su:
[2017-04-2905:33:30] FINE: 1. [1-1- .   [10, 11, 14, 15], 000- .   [0, 1], 00-1 .   [1, 3]]
[2017-04-2905:33:30] FINE: 2. [1-1- .   [10, 11, 14, 15], 000- .   [0, 1], -011 .   [3, 11]]
[2017-04-2905:33:30] FINE: 3. [1-1- .   [10, 11, 14, 15], 0-00 .   [0, 4], 00-1 .   [1, 3]]
1.   A AND C OR  NOT A AND NOT B AND NOT C OR  NOT A AND NOT B AND D
2.   A AND C OR  NOT A AND NOT B AND NOT C OR  NOT B AND C AND D
3.   A AND C OR  NOT A AND NOT C AND NOT D OR  NOT A AND NOT B AND D
>