Täpne lahendamine (näidisena): Lihtimplikantide leidmine 1-de järgi ['*' ainult määramatused] ['+' kaetud] '-' -> '1' mintermid 2-sed 3&4-sed 6&8-sed grupid kontuurid kontuurid kontuurid ------------ ------------ ------------ ------------ 0 0000 1000+ 0 0000 1100+ 0 00-0 1100+ 0 0--0 1100 b *0000 0100+ 00-0 1000+ 0-00 1100+ ------------ ------------ 0-00 1000+ 0--0 1000+ 1 0-10 1110+ 1 0001 0100+ 000- 0100+ 00-- 0100 H 0-10 1101+ *0001 0010+ 00-0 0100+ 0--0 0100+ 0-10 1011+ 0010 1000+ 0-00 0100+ ------------ 0-10 0111+ 0010 0100+ ------------ 1 0010 1110+ 0-10 1111 c *0010 0010+ 1 0001 0110 A 0010 1101+ -010 1011 d 0010 0001+ 0010 1100+ 0010 1011+ 01-0 1110 e 0100 1000+ 0010 1010+ 0010 0111+ -100 1110 f 0100 0100+ 0010 1001+ 0010 1111+ ============ 0100 0010+ 0010 0110+ 0100 1110+ 1000 0010+ 0010 0101+ 0-10 1100+ 1000 0001+ 0010 0011+ 0-10 1010+ ------------ 0100 1100+ 0-10 1001+ 2 *0011 0100+ 0100 1010+ 0-10 0110+ 0011 0001+ 0100 0110+ 0-10 0101+ 0101 1000+ 1000 0011+ 0-10 0011+ 0101 0010+ 00-1 0100+ -010 1010+ *0110 1000+ -001 0100 B -010 1001+ 0110 0100+ 0-01 0010 C -010 0011+ 0110 0010+ 0-10 1000+ 001- 0101 I 0110 0001+ -010 1000+ 010- 1010 J *1001 1000+ 001- 0100+ 01-0 1100+ 1001 0100+ 0-10 0100+ 01-0 1010+ *1001 0001+ 0-10 0010+ 01-0 0110+ *1010 1000+ *-010 0010+ -100 1100+ *1010 0010+ 001- 0001+ -100 1010+ 1010 0001+ 0-10 0001+ -100 0110+ 1100 1000+ -010 0001+ 10-0 0011 K 1100 0100+ 010- 1000+ --10 1000 L *1100 0010+ 010- 0010+ 0-1- 0100 M ------------ 01-0 1000+ -01- 0001 N 3 0111 0100+ -100 1000+ 01-- 0010 O *0111 0010+ 01-0 0100+ -10- 0010 P 1011 1000+ -100 0100+ -1-0 1000 Q 1011 0001+ 01-0 0010+ 10-- 0001 R *1101 0100+ -100 0010+ ------------ 1101 0010+ 10-0 0010+ 2 0110 1110+ *1110 1000+ 1-00 0010 D 0110 1101+ ------------ 100- 0001+ 0110 1011+ 4 1111 1000+ 10-0 0001+ 0110 0111+ 1111 0010+ ------------ 0110 1111+ 1111 0001+ 2 0011 0101+ 1001 1101 S ============ 0101 1010+ 1010 1011+ 0110 1100+ 1100 1110+ 0110 1010+ 011- 0110 T 0110 1001+ 10-1 1001 U 0110 0110+ 101- 1001 V 0110 0101+ 110- 0110 W 0110 0011+ -1-1 0010 X 1001 1100+ 1-1- 1000 Y *1001 1001+ ------------ 1001 0101+ 3 1-11 1001 Z *1010 1010+ ------------ 1010 1001+ 4 1111 1011 a 1010 0011+ ============ 1100 1100+ 1100 1010+ 1100 0110+ 0-11 0100+ -011 0001+ 01-1 0010+ -101 0010+ *-110 1000+ 011- 0100+ 011- 0010+ 10-1 1000+ 1-01 0100 G 10-1 0001+ 101- 1000+ *1-10 1000+ 101- 0001+ 11-0 1000+ 110- 0100+ 110- 0010+ ------------ 3 0111 0110+ 1011 1001+ 1101 0110+ -111 0010+ 1-11 1000+ 1-11 0001+ 11-1 0010+ 111- 1000+ ------------ 4 1111 1010+ 1111 1001+ 1111 0011+ ============ ======================================================================== Lihtimplikantide katte leidmine: A B C D G H I J K L M N O P Q R S T U V W X Y Z a b c d e f 0000 1000 x 0001 0100 o + + 0010 1000 o x x + o 0010 0100 + + + x x o 0010 0001 + + x + 0100 1000 + o x + 0100 0100 x + 0100 0010 + + + + 1000 0010 o + 1000 0001 + + 0011 0001 + + 0101 1000 + 0101 0010 o + + + + 0110 0100 + + x x o 0110 0010 + + x o 0110 0001 x 1001 0100 + o o 1010 0001 + + + + + 1100 1000 o + 1100 0100 + + 0111 0100 + + 1011 1000 o + o + 1011 0001 + + o + + 1101 0010 + + + 1111 1000 o + + 1111 0010 + + 1111 0001 + + Olulise implikandid [x]: b, c Kaetud tervenisti mõne teise poolt [o]: A, C, D, G, L, Q, S, U, Y, e [E & F on eemaldatud, sest vastavad implikandid olid näpuvea tõttu lihtimplikandiks võetud ja kogu tabeli muutmine oleks veelgi tülikam olnud. Tegelikult olid mõlemad algusest peale kaetud mõne teise implikandi poolt...] ------------------------------------------------------------------------ Vajalikud implikandid: b, c [kokku 2] Ülejäänud implikandid (& mintermid): B H I J K M N O P R T V W X Z a d f 0001 0100 x o 0100 0010 x o + x 1000 0010 x 1000 0001 x + 0011 0001 o + 0101 1000 x 0101 0010 x o + + 1001 0100 x 1010 0001 x + + + o 1100 1000 x 1100 0100 + x 0111 0100 + + 1011 1000 + + 1011 0001 + + + + 1101 0010 + + + 1111 1000 + + 1111 0010 + + 1111 0001 + + Uued olulise implikandid [x]: B, J, K, f Jälle kaetud tervenisti mõne teise poolt [o]: H, I, O, d ------------------------------------------------------------------------ Vajalikud implikandid: b, c, B, J, K, f [kokku 6] Ülejäänud implikandid (& mintermid): M N P R T V W X Z a 0011 0001 x 0111 0100 + + 1011 1000 o + 1011 0001 x o o + 1101 0010 o o + 1111 1000 + + 1111 0010 + + 1111 0001 + + Uued olulise implikandid [x]: N Jälle kaetud tervenisti mõne teise poolt [o]: P, R, V, W ------------------------------------------------------------------------ Vajalikud implikandid: b, c, B, J, K, f, N [kokku 7] Ülejäänud implikandid (& mintermid): M T X Z a 0111 0100 + + 1011 1000 x 1101 0010 x 1111 1000 x + 1111 0010 x + 1111 0001 x + Uued olulise implikandid [x]: X, Z Jälle kaetud tervenisti mõne teise poolt [o]: - ------------------------------------------------------------------------ Vajalikud implikandid: b, c, B, J, K, f, N, X, Z [kokku 9] Ülejäänud implikandid (& mintermid): M T 0111 0100 + + ------------------------------------------------------------------------ M & T on ekvivalentsed. Valitud implikandid: b, c, B, J, K, f, N, X, Z, M [kokku 10] [tulemus] 0--0 1100 b 0-10 1111 c -001 0100 B 010- 1010 J 10-0 0011 K -100 1110 f -01- 0001 N -1-1 0010 X 1-11 1001 Z 0-1- 0100 M