From 4abcd4c8329a822e5bc9039650277e4ce0dc35e9 Mon Sep 17 00:00:00 2001 From: gbrochar Date: Tue, 23 Jan 2024 21:24:09 +0100 Subject: [PATCH] test(ex05): add more tests for double negation --- src/negation_normal_form/tests.rs | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/src/negation_normal_form/tests.rs b/src/negation_normal_form/tests.rs index 8318195..3eafadc 100644 --- a/src/negation_normal_form/tests.rs +++ b/src/negation_normal_form/tests.rs @@ -13,9 +13,12 @@ mod tests { #[test] fn double_neg() { - assert_eq!(negation_normal_form("A!!B&"), "AB&"); - assert_eq!(negation_normal_form("A!!B!!&"), "AB&"); - assert_eq!(negation_normal_form("A!!B!&"), "AB!&"); + assert_eq!(negation_normal_form("A!!A&"), "AA&"); + assert_eq!(negation_normal_form("B!!B!!&"), "BB&"); + assert_eq!(negation_normal_form("C!!C!&"), "CC!&"); + assert_eq!(negation_normal_form("D!!D&!!!!"), "DD&"); + assert_eq!(negation_normal_form("E!!E!!!!&!!"), "EE&"); + assert_eq!(negation_normal_form("F!!F!&!!!!!!!!"), "FF!&"); } #[test]